SRDL
BRANCH OF THE UNITED STATES ARMY CREATING AND MANAGING COMMUNICATIONS AND INFORMATION SYSTEMS FOR THE COMMAND AND CONTROL OF COMBINED ARMS FORCES
United States Armed Forces Signal Corps Unit; Army Signal Corps; US Signal Corps; U.S. Army Signal Corps; US Army Signal Corps; US Army Signal Corp; U.S. Signal Corps; Department of the Army, Signal Corps; U.S. Signal Service; United States Signal Services; Army Pictorial Service; Chief Signal Officer; SRDL; Army Signal Research and Development Laboratory; U.S. Army Signal Research and Development Laboratory; United States Army Signal Research and Development Laboratory; US Army Signal Research and Development Laboratory; Signal Corps (U.S. Army); Signal Corps (United States Army); Signal Service
Small
algebraic specification language, allows {distfix
operators}.
[
"A Constructive Method for Abstract Algebraic Software
Specification", H. Klaeren, Theor Computer Sci 30,
pp.134-204, 1984].